OnlineWoerterBuecher.de
Internes

Free On-line Dictionary of Computing: Search Results

Search Results for: typed lambda-calculus



Results in the term's title:

·  typed lambda-calculus


Results in the term's text:

·  Computational Adequacy Theorem
·  Fun
·  functional programming
·  head normalisation theorem
·  LAMBDA
·  polymorphic lambda-calculus
·  Second-Order Lambda-calculus
·  typed lambda-calculus


  


[ Return to Free On-line Dictionary of Computing ]

[ Go Back ]
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.0436 Seconds, with 15 Database-Queries
Zurück zur Startseite